Results for 'Paul Bernays Way'

1000+ found
Order:
  1.  8
    Miriam FRANCHELLA Università degli Studi, Milano.Paul Bernays Way - 2006 - Grazer Philosophische Studien 70 (1):47-66.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  27
    Paul Bernays' philosophical way.Miriam Franchella - 2006 - Grazer Philosophische Studien 70 (1):47-66.
    Paul Bernays was both a philosopher and a mathematician. He is famous for his logical-mathematical production (also in collaboration with David Hilbert), while his philosophical works have been given less consideration. The present article is an attempt to reconstruct the way that led Bernays from his early writings on ethics to his final epistemological thought.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  55
    A system of axiomatic set theory—Part I.Paul Bernays - 1937 - Journal of Symbolic Logic 2 (1):65-77.
    Introduction. The system of axioms for set theory to be exhibited in this paper is a modification of the axiom system due to von Neumann. In particular it adopts the principal idea of von Neumann, that the elimination of the undefined notion of a property (“definite Eigenschaft”), which occurs in the original axiom system of Zermelo, can be accomplished in such a way as to make the resulting axiom system elementary, in the sense of being formalizable in the logical calculus (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  4.  3
    Logica : studia Paul Bernays dedicata.Paul Bernays - 1959 - Éditions du Griffon.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  8
    Paul Bernays. Die Manningfaltigketi der Direktiven für die Gestaltung geometrischer Axiomensysteme. The axiomatic method, with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 1–15. [REVIEW]Paul Bernays - 1969 - Journal of Symbolic Logic 34 (2):310-310.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  16
    Meaning and Necessity: A Study in Semantics and Modal Logic.Paul Bernays - 1950 - Journal of Symbolic Logic 14 (4):237-241.
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  7.  20
    Solvable Cases of the Decision Problem.Paul Bernays - 1957 - Journal of Symbolic Logic 22 (1):68-72.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  8.  46
    Odel's dialectica interpretation and its two-way stretch.Solomon Feferman - manuscript
    In 1958, G¨ odel published in the journal Dialectica an interpretation of intuitionistic number theory in a quantifier-free theory of functionals of finite type; this subsequently came to be known as G¨ odel’s functional or Dialectica interpretation. The article itself was written in German for an issue of that journal in honor of Paul Bernays’ 70th birthday. In 1965, Bernays told G¨.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  8
    Sur les Rapports Entre la Logique et la Physique Théorique.Paul Bernays - 1949 - Journal of Symbolic Logic 14 (2):128-129.
  10.  17
    A Note on the Redundant Axiom of Principia Mathematica.Paul Bernays - 1971 - Journal of Symbolic Logic 36 (2):332-333.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. Studies in the way of words.Herbert Paul Grice - 1989 - Cambridge: Harvard University Press.
  12.  23
    Axiomatic Set Theory.Foundations of Set Theory.Paul Bernays, Abraham A. Fraenkel & Yehoshua Bar-Hillel - 1962 - Philosophical Review 71 (2):268-269.
  13.  22
    Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre.Paul Bernays - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 3--49.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  14.  79
    From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. [REVIEW]Paul Bernays - 1970 - Journal of Philosophy 67 (4):109-110.
  15.  3
    A propos de la nature de la négation en logique.Paul Bernays - 1940 - Revue de Théologie Et de Philosophie 28 (14):134.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  2
    A Propos de la Nature de la Négation en Logique.Paul Bernays - 1947 - Journal of Symbolic Logic 12 (2):58-58.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  55
    A system of axiomatic set theory—Part II.Paul Bernays - 1941 - Journal of Symbolic Logic 6 (1):1-17.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  18.  38
    Grundlagen der Mathematik I.David Hilbert & Paul Bernays - 1968 - Springer.
    Die Leitgedanken meiner Untersuchungen über die Grundlagen der Mathematik, die ich - anknüpfend an frühere Ansätze - seit 1917 in Besprechungen mit P. BERNAYS wieder aufgenommen habe, sind von mir an verschiedenen Stellen eingehend dargelegt worden. Diesen Untersuchungen, an denen auch W. ACKERMANN beteiligt ist, haben sich seither noch verschiedene Mathematiker angeschlossen. Der hier in seinem ersten Teil vorliegende, von BERNAYS abgefaßte und noch fortzusetzende Lehrgang bezweckt eine Darstellung der Theorie nach ihren heutigen Ergebnissen. Dieser Ergebnisstand weist zugleich (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   109 citations  
  19.  24
    Lorenzen Paul. Über endliche Mengen. Mathematische Annalen, vol. 123 , pp. 331–338.Paul Bernays - 1952 - Journal of Symbolic Logic 17 (4):275-276.
  20.  8
    Essai sur Les Notions de Structure et D'Existence en Mathématiques.Paul Bernays - 1940 - Journal of Symbolic Logic 5 (1):20-22.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  21. Sur le platonisme dans les mathématiques.Paul Bernays - 1935 - L’Enseignement Mathematique 34:52--69.
    No categories
     
    Export citation  
     
    Bookmark   48 citations  
  22.  18
    Zum begriff der dialektik.Paul Bernays - 1947 - Dialectica 1 (2):172-175.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  6
    Essai sur L'Unité des Sciences Mathématiques dans Leur Développement Actuel.Paul Bernays - 1940 - Journal of Symbolic Logic 5 (1):22-22.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  73
    A system of axiomatic set theory - Part VII.Paul Bernays - 1954 - Journal of Symbolic Logic 19 (2):81-96.
    The reader of Part VI will have noticed that among the set-theoretic models considered there some models were missing which were announced in Part II for certain proofs of independence. These models will be supplied now.Mainly two models have to be constructed: one with the property that there exists a set which is its own only element, and another in which the axioms I–III and VII, but not Va, are satisfied. In either case we need not satisfy the axiom of (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  25.  10
    John Myhill. Variations on a theme of Bernays. Notre Dame journal of formal logic, vol. 4 no. 4 , pp. 274–282.Paul Bernays - 1970 - Journal of Symbolic Logic 35 (2):345-346.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  68
    Die Philosophie der Mathematik und die Hilbertsche Beweistheorie.Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):148-149.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  27.  10
    Écrits logiques.Paul Bernays - 1971 - Journal of Symbolic Logic 36 (3):523-524.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  7
    Zum Symposium über die Grundlagen der Mathematik1.Paul Bernays - 1971 - Dialectica 25 (3‐4):171-195.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  8
    A System of Axiomatic Set Theory.Paul Bernays - 1944 - Journal of Symbolic Logic 9 (3):74-75.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  30.  18
    Axiomatic Set Theory.Paul Bernays - 1959 - Journal of Symbolic Logic 24 (3):224-225.
    Direct download  
     
    Export citation  
     
    Bookmark   25 citations  
  31.  52
    A system of axiomatic set theory: Part IV. general set theory.Paul Bernays - 1942 - Journal of Symbolic Logic 7 (4):133-145.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  32.  14
    Die schematische Korrespondenz und die idealisierten Strukturen.Paul Bernays - 1970 - Dialectica 24 (1‐3):53-66.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  33. A system of axiomatic set theory. Part III. Infinity and enumerability. Analysis.Paul Bernays - 1942 - Journal of Symbolic Logic 7 (2):65-89.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  34.  25
    Sprache und Wirklichkeit: Im Vorfeld der Fragestellungen.Paul Bernays - 1977 - Dialectica 31 (3‐4):217-223.
    ZusammenfassungDas Thema Sprache und Wirklichkeit wird zunächst provisorisch angegangen, indem gewissermassen das abgesteckt wird, was von der Wirklichkeit in der Sprache zutn Ausdruck kommt. Dabei wird Wirklichkeit in einem unproblematischen Sinne genommen.Es wird dann ein Gebiet untersucht, welches im Vergleich zur wissenschaftlichen Erkenntnis meist zu kurz kommt, das aber fur das Verhältnis von Sprache und Wirklichkeit von besonderer Bedeutung ist, weil hier eine Art des Erkennens vorliegt, die nicht wie das physikalische Erkennen auf extremen theoretischen Reduktionen beruht und daher die (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  13
    Ueberlegungen zu Ferdinand Gonseths Philosophie.Paul Bernays - 1977 - Dialectica 31 (1‐2):119-128.
    Anlässlich des 70. Geburtstages von Ferdinand Gonseth hatte ich in den Dialectica 1 einige Charakterzuge seiner Philosophie hervorgehoben. Dies möge im folgenden etwas ausführlicher geschehen.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  9
    Zu der Abhandlung von Raymond L. Weiss «Historicism and Science: Thoughts on Quine».Paul Bernays - 1975 - Dialectica 29 (2‐3):167-172.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  2
    Die Grundlagen der Mathematik.David Hilbert, Hermann Weyl & Paul Bernays - 2013 - Springer Verlag.
    Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   53 citations  
  38. Über eine natürliche Erweiterung des Relationenkalkuls.Paul Bernays - 1959 - In A. Heyting (ed.), Constructivity in mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 1--14.
    No categories
     
    Export citation  
     
    Bookmark   8 citations  
  39.  16
    On the Original Gentzen Consistency Proof for Number Theory.Paul Bernays, A. Kino, J. Myhill & R. E. Vesley - 1975 - Journal of Symbolic Logic 40 (1):95-95.
  40. Fear of knowledge: against relativism and constructivism.Paul Artin Boghossian - 2006 - New York: Oxford University Press.
    Relativist and constructivist conceptions of knowledge have become orthodoxy in vast stretches of the academic world in recent times. This book critically examines such views and argues that they are fundamentally flawed. The book focuses on three different ways of reading the claim that knowledge is socially constructed, one about facts and two about justification. All three are rejected. The intuitive, common sense view is that there is a way things are that is independent of human opinion, and that we (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   255 citations  
  41.  20
    Abhandlungen zur Philosophie der Mathematik.G. T. Kneebone & Paul Bernays - 1977 - Philosophical Quarterly 27 (106):72.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  42.  19
    Über die Ausdehnung des Begriffes der Komplementarität auf die Philosophie.Paul Bernays - 1948 - Synthese 7 (1):66 - 70.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  6
    Bemerkungen zu Lorenzen's stellungnahme in der philosophie der mathematik.Paul Bernays - 1978 - In Kuno Lorenz (ed.), Konstruktionen Versus Positionen: Beiträge Zur Diskussion Um Die Konstruktive Wissenschaftstheorie. Bd 1: Spezielle Wissenschaftstheorie. Bd 2: Allgemeine Wissenschaftstheorie. Paul Lorenzen Zum 60. Geburtstag. New York: De Gruyter. pp. 3-16.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  44.  5
    Philosophie des mathématiques.Paul Bernays - 2003 - Librairie Philosophique J Vrin.
    Les articles de ce recueil discutent les principes de la pensee mathematique qui ont fait le partage entre les trois fameuses options philosophiques: logicisme, formalisme et intuitionnisme. Leur auteur, Paul Bernays, fut un des plus proches collaborateurs de David Hilbert, qui a si profondement marque de son empreinte les mathematiques du XXe siecle et la philosophie construite a leur sujet. Defenseur de l'infini, de la methode axiomatique, des structures generales, des raisonnements abstraits, de la formalisation logique, Hilbert a (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  44
    A system of axiomatic set theory—Part VI.Paul Bernays - 1948 - Journal of Symbolic Logic 13 (2):65-79.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  46. Axiomatic Investigations of the Propositional Calculus of Principia Mathematica.Paul Bernays - 2012 - In Bernays Paul (ed.), Universal Logic: An Anthology. pp. 43-58.
  47.  32
    Mathematische Existenz und Widerspruchsfreiheit.Paul Bernays - 1957 - Journal of Symbolic Logic 22 (2):210-211.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  48.  11
    Zur Frage der Unendlichkeitsschemata in der Axiomatischen Mengenlehre.Paul Bernays - 1962 - Journal of Symbolic Logic 27 (3):353-354.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  49.  36
    Zur Rolle der Sprache in erkenntnistheoretischer Hinsicht.Paul Bernays - 1961 - Synthese 13 (3):185-200.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  26
    Logical Calculus.Paul Bernays - 1938 - Journal of Symbolic Logic 3 (4):162-163.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
1 — 50 / 1000